#include "Kernel.h"
#include "print.h"
#include "pci.h"
#include "usb-xhci.h"
#include "cursor.h"

UINT64 KernelStart(BOOT_CONFIG *BootConfig)
{  
    UINT64 PassBack = 0;
    

    VideoInitial(BootConfig);
    con_init();
    
    print("video addr is %x\n", BootConfig->VideoConfig.FrameBufferBase);
    
    pci_probe_devices();

    //print("PS_WIN_SZ is %x\n", read_cursor_addr(CURSOR_PS_WIN_SZ));

    usb_setup();
    print("all is well");
    print("all is 1111111111");

    while(1);
    print("changheluoriyuan");
    return PassBack;
}